SAMEF.XGP[F76,JMC] - www.SailDart.org

perm filename SAMEF.XGP[F76,JMC] blob sn#254276 filedate 1976-12-09 generic text, type T, neo UTF8
/LMAR=0/XLINE=3/FONT#3=BASB30/FONT#2=BASI30/FONT#1=BDR30/FONT#0=BDR30



␈↓ ↓H␈↓␈↓ ↓x␈↓αsamefringe␈↓↓[␈↓αx␈↓↓, ␈↓αy␈↓↓] ← [¬␈↓βat ␈↓αx␈↓↓ ∧ ¬␈↓βat ␈↓αy␈↓↓ ∧ ␈↓αsame␈↓↓[␈↓βa ␈↓αx␈↓↓, ␈↓βa ␈↓αy␈↓↓, ␈↓βd ␈↓αx␈↓↓, ␈↓βd ␈↓αy␈↓↓]] ∨ ␈↓αx␈↓↓ ␈↓βeq ␈↓αy



␈↓ ↓H␈↓α␈↓ ↓xsame␈↓↓[␈↓αx␈↓↓, ␈↓αy␈↓↓, ␈↓αu␈↓↓, ␈↓αv␈↓↓] ←
␈↓ ↓H␈↓↓␈↓ α_[¬␈↓βat ␈↓αx␈↓↓ ∧ ¬␈↓βat ␈↓αy␈↓↓ ∧ ␈↓αsame␈↓↓[␈↓βa ␈↓αx␈↓↓, ␈↓βa ␈↓αy␈↓↓, ␈↓βd ␈↓αx␈↓↓ . ␈↓αu␈↓↓, ␈↓βd ␈↓αy␈↓↓ . ␈↓αv␈↓↓]]
␈↓ ↓H␈↓↓␈↓ α_∨ [¬␈↓βat ␈↓αy␈↓↓ ∧ ␈↓αsame␈↓↓[␈↓αx␈↓↓, ␈↓βa ␈↓αy␈↓↓, ␈↓αu␈↓↓, ␈↓βd ␈↓αy␈↓↓ . ␈↓αv␈↓↓]]
␈↓ ↓H␈↓↓␈↓ α_∨ [¬␈↓βat ␈↓αx␈↓↓ ∧ ␈↓αsame␈↓↓[␈↓βa ␈↓αx␈↓↓, ␈↓αy␈↓↓, ␈↓βd ␈↓αx␈↓↓ . ␈↓αu␈↓↓, ␈↓αv␈↓↓]]
␈↓ ↓H␈↓↓␈↓ α_∨ [␈↓αx␈↓↓ ␈↓βeq ␈↓αy␈↓↓ ∧ ␈↓αsamefringe␈↓↓[␈↓αu␈↓↓, ␈↓αv␈↓↓]]